Alien Registration- Hansen, Sven A. (Augusta, Kennebec County)

https://digitalmaine.com/alien_docs/19087/thumbnail.jp

New data on eudialyte decomposition minerals from kakortokites and associated pegmatites of the Ilimaussaq complex, South Greenland

A suite of samples with eudialyte and eudialyte decomposition minerals from the kakortokite and associated pegmatites of the Ilimaussaq complex in South Greenland has been investigated by electron microprobe analysis. Extensive decomposition of eudialyte has resulted in the formation of catapleiite as host for a number of rare and hitherto unknown REE minerals besides known minerals such as monazite and kainosite. Mineral A1 is present in very small amounts in nearly all eudialyte decomposition aggregates and comprises two varieties: Ca-rich A1 with composition HCa3REE6(SiO4)6(Fsquare) and presumed apatite structure, and Ca-poor A1 with composition (Fe,Mn,Ca)1.5REE6Si6FO22 and unknown structure. Mineral A2 with composition (Ca,Fe)1.2 REE4Si6O19-y(OH)2y.nH2O is indistinguishable from A1 in EMP-backscattered light and has only been found at a limited number of localities. Mineral A2 also occurs as a primary mineral at one locality. Additional rare and new REE-minerals are mineral A3 with composition Na0.2Ca0.6Fe0.2Mn0.5Al0.5REE2.8Si6F0.5O)18-y(OH)2y . nH2O; mineral Uk2 with composition REE2.00F1.50O2.25-y(OH)2y . nH2O; mineral Uk3 with composition CaREE4O7-yOH)2y . nH2O; and mineral Y1 with composition Na2Ca4Y2.7REE1.3F18 (OH)4. The Ce:(Y+La+Pr+Nd+Sm+Gd) molar ratio for A1, A2, A3, Uk2, Uk3 and monazite is close to 1:1. Characteristic for A1, A2 and monazite are substantial solid solutions between La and (Pr+Nd+Sm+Gd) with slowly increasing content of Ce as the content of La increases. A similar pattern does not exist for the REE in fresh eudialyte. Kainosite, identified in one decomposition aggregate, has not previously been found in the Il maussaq complex.</p

Modular Abstract Definitional Interpreters for WebAssembly

Even though static analyses can improve performance and secure programs against vulnerabilities, no static whole-program analyses exist for WebAssembly (Wasm) to date. Part of the reason is that Wasm has many complex language concerns, and it is not obvious how to adopt existing analysis frameworks for these features. This paper explores how abstract definitional interpretation can be used to develop sophisticated analyses for Wasm and other complex languages efficiently. In particular, we show that the semantics of Wasm can be decomposed into 19 language-independent components that abstract different aspects of Wasm. We have written a highly configurable definitional interpreter for full Wasm 1.0 in 1628 LOC against these components. Analysis developers can instantiate this interpreter with different value and effect abstractions to obtain abstract definitional interpreters that compute inter-procedural control and data-flow information. This way, we develop the first whole-program dead code, constant propagation, and taint analyses for Wasm, each in less than 210 LOC. We evaluate our analyses on 1458 Wasm binaries collected by others in the wild. Our implementation is based on a novel framework for definitional abstract interpretation in Scala that eliminates scalability issues of prior work

Potential errors in conventional DOT measurement techniques in shake flasks and verification using a rotating flexitube optical sensor

<p>Abstract</p> <p>Background</p> <p>Dissolved oxygen tension (DOT) is an important parameter for evaluating a bioprocess. Conventional means to measure DOT in shake flasks using fixed Clark-type electrodes immersed in the bulk liquid are problematic, because they inherently alter the hydrodynamics of the systems. Other approaches to measure DOT that apply fluorescing sensor spots fixed at the inside wall of a shake flask are also suboptimal. At low filling volumes for cultivating microorganisms with a high oxygen demand, the measured DOT signal may be erroneous. Here, the sensor spot is sometimes exposed to gas in the head space of the flask. Merely repositioning the sensor spot elsewhere in the flask does not address this problem, since there is no location in the shake flask that is always covered by the rotating bulk liquid. Thus, the aim of this prospective study is first, to verify the systemic error of Clark-type electrodes for measuring DOT in shake flasks. The second principle aim is to use the newly built "flexitube optical sensor" to verify potential errors in conventional optical DOT measurements based on fixed sensor spots.</p> <p>Results</p> <p>With the Clark-type electrode, the maximum oxygen transfer capacity in shake flasks rose compared to that of an analogous system without an electrode. This proves changed hydrodynamics in the system with the Clark-type electrode. Furthermore, regarding the sensor spot experiments under oxygen-limited conditions where the DOT value ought to approach zero, the acquired signals were clearly above zero. This implies that the sensor spot is influenced by oxygen present in the headspace and not only by oxygen in the bulk liquid.</p> <p>Conclusions</p> <p>The Clark-type electrode is unsuitable for measuring DOT. Moreover, the newly built rotating flexitube optical sensor is useful to verify potential errors of conventional optical DOT measurement techniques applying fixed sensor spots.</p